$x$ changed before $e$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isl(change{-}to($x$;$e$))